Borel-amenable reducibilities for sets of reals
نویسنده
چکیده
We show that if F is any “well-behaved” subset of the Borel functions and we assume the Axiom of Determinacy then the hierarchy of degrees on P(ωω) induced by F turns out to look like the Wadge hierarchy (which is the special case where F is the set of continuous functions).
منابع مشابه
Baire reductions and good Borel reducibilities
In [8] we have considered a wide class of “well-behaved” reducibilities for sets of reals. In this paper we continue with the study of Borel reducibilities by proving a dichotomy theorem for the degree-structures induced by good Borel reducibilities. This extends and improves the results of [8] allowing to deal with a larger class of notions of reduction (including, among others, the Baire clas...
متن کاملSmooth Sets for Borel Equivalence Relation
We study some properties of smooth Borel set with respect to a Borel equivalence relation, showing some analogies with the collection of countable sets from a descriptive set theoretic point of view. We found what can be seen as an analog of the hyperaritmectic reals in the context of smooth sets. We also present some results about the σ-ideal of closed smooth sets.
متن کاملBeyond Borel-amenability: Scales and superamenable reducibilities
We analyze the degree-structure induced by large reducibilities under the Axiom of Determinacy. This generalizes the analysis of Borel reducibilities given in [1], [6] and [5] e.g. to the projective levels.
متن کاملThe axiom of choice and two-point sets in the plane
In this paper we prove that it consistent to have a two-point set in a model of ZF in which the real line cannot be well-ordered. We prove two results related to a construction of Chad of a two-point set inside the countable union of concentric circles. We show that if the reals are the countable union of countable sets, then every well-orderable set of reals is countable. However, it is consis...
متن کامل1 Selection for Borel Relations
We present several selection theorems for Borel relations, involving only Borel sets and functions, all of which can be obtained as consequences of closely related theorems proved in [DSR 96,99,01,01X] involving coanalytic sets. The relevant proofs given there use substantial set theoretic methods, which were also shown to be necessary. We show that none of our Borel consequences can be proved ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 74 شماره
صفحات -
تاریخ انتشار 2009